1. A beginner's guide to Scala, object orientation and functional programming /
Author: John Hunt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)
Classification :
QA76
.
7
2. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
3. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
4. Chemoinformatics :
Author: editors Johann Gasteiger, Thomas Engel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemia -- informatyka.
Classification :
QD39
.
3
.
E46
E358
2004
5. Clojure reactive programming :
Author: Leonardo Borges
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Clojure (Computer program language),Functional programming languages
Classification :
QA76
.
62
6. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
7. Computer-aided design and manufacturing :
Author: T Kohonen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TS155
.
6
T564
2012
8. Digital Product and Process Development Systems
Author: edited by George L. Kovács, Detlef Kochan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Business-- Data processing.,Computer science.,Computer-aided engineering.,Information technology.
9. Distributed Environments :
Author: edited by Yutaka Ohno, Toshiko Matsuda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.
Classification :
QA76
.
76
.
D47
E358
1991
10. Distributed Systems :
Author: by Albert Fleischmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
B935
1994
11. ESPRIT '90 :
Author: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.
12. Erlang and Elixir for Imperative Programmers
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elixir (Computer program language),ERLANG (Computer program language),Programming languages (Electronic computers)
Classification :
QA76
.
73
.
E75
13. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
14. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
15. Formal methods in standards :
Author: from the BCS working group ; ed. by C.L.N. Ruggles.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
S8
F766
1990
16. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
17. Functional PHP :
Author: Gilles Crettenand.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Functional programming (Computer science),PHP (Computer program language),Web site development.,Application software-- Development.,COMPUTERS / Programming Languages / PHP.,Functional programming (Computer science),PHP (Computer program language),Web site development.
Classification :
QA76
.
73
.
P224
18. Functional Python programming :
Author: Steven F. Lott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Python (Computer program language),Application software-- Development.,COMPUTERS-- Programming Languages-- Python.,Python (Computer program language)
Classification :
QA76
.
73
.
P98
L688
2018
19. Hardware Description Languages and their Applications :
Author: edited by Carlos Delgado Kloos, Eduard Cerny.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Machinery.
20. Hardware Description Languages and their Applications :
Author: edited by Carlos Delgado Kloos, Eduard Cerny.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Machinery.
Classification :
TK7888
.
3
E358
1997
